121. Machine learning :
پدیدآورنده : Y. Kodratoff (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
122. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
123. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
124. Metaheuristics :
پدیدآورنده : edited by Karl F. Doerner [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical optimization.,System analysis-- Mathematics.,Affaires.,Economie de l'entreprise.,Heuristiek.,Komplexes System,Mathematical optimization.,Mathematical optimization.,Optimaliseren.,Optimierung,Science économique.,SCIENCE-- System Theory.,System analysis-- Mathematics.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA402
.
M474
2007eb
125. Modelling Database Dynamics :
پدیدآورنده : edited by Udo W. Lipeck, Bernhard Thalheim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.
126. Modelling and graphics in science and technology
پدیدآورنده : J.C. Teixeira, J. Rix (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer-aided design.,Industrial design -- Data processing.
رده :
TA174
.
J384
1996
127. MultiMedia modeling :
پدیدآورنده : Ioannis Kompatsiaris, Benoit Huet, Vasileios Mezaris, Cathal Gurrin, Wen-Huang Cheng, Stefanos Vrochidis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics, Congresses.,Multimedia systems, Congresses.,Visual communication-- Digital techniques, Congresses.,Computer graphics.,Multimedia systems.,Visual communication-- Digital techniques.
رده :
QA76
.
575
128. Multiparadigm Constraint Programming Languages
پدیدآورنده : / Petra Hofstedt (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
129. Multiparadigm Constraint Programming Languages
پدیدآورنده : / Petra Hofstedt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
130. Multiparadigm constraint programming languages
پدیدآورنده : Hofstedt, Petra.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Constraint programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
612
.
H64
2011
131. Multiparadigm constraint programming languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constraint programming (Computer science) ; Programming languages (Electronic computers) ;
132. Multiparadigm constraint programming languages
پدیدآورنده : Petra Hofstedt
موضوع : Constraint programming (Computer science),Programming languages (Electronic computers)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
133. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
134. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
135. Networked Digital Technologies :
پدیدآورنده : edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
76
.
A65
I58
2010
136. New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1865
137. Nonlinear combinatorial optimization /
پدیدآورنده : Ding-Zhu Du, Panos M. Pardalos, Zhao Zhang, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization.,Combinatorial optimization.
رده :
QA402
.
5
.
N66
2019
138. Object-Oriented Programming for Graphics
پدیدآورنده : edited by Chris Laffra, Edwin H. Blake, Vicki Mey, Xavier Pintado.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer science.,Computer simulation.
رده :
QA76
.
64
E358
1995
139. Object-oriented programming :
پدیدآورنده : ECOOP 2001. Jørgen Lindskov Knudsen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Object-oriented programming (Computer science),Object-oriented programming (Computer science) -- Congresses.,Objektorientierte Programmierung.
